Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
401	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
402	Light-Weight Execution Agents Revision 3 Document number: Revises: Date: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-13 05:27:58 Concurrency control Threads Spinlock Monitor Non-blocking algorithm Lock Futures and promises Critical section Parallel computing Computing Concurrent computing Computer programming
403	Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Data Information Data management Databases Linearizability Lock Parallel computing Serializability Mereology Concurrency control Transaction processing Computing
404	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
405	SoftBase Logo white w Tag Add to Reading List Source URL: www.softbase.com Language: English - Date: 2011-10-19 08:36:30 Concurrency Deadlock Batch processing Lock Computer programming IBM DB2 Concurrency control Computing Concurrent computing
406	Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile. Chapter 16 Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-29 15:48:40 Software engineering Thread Monitor Lock Mutual exclusion Reentrant mutex Producer-consumer problem Concurrency control Computing Computer programming
407	Using the Lock Manager to Choose Timestamps David Lomet Microsoft Research Redmond, WA, USA Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2007-09-25 20:50:49 Concurrency control Information Databases Timestamp-based concurrency control Serializability Isolation Commitment ordering Timestamp Database transaction Transaction processing Data management Data
408	Abstractions for Usable Information Flow Control in Aeolus Winnie Cheng∗ Victoria Popic† Dorothy Curtis MIT CSAIL Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2012-05-03 16:38:36 Concurrent computing Thread Aeolus Lock Parallel computing Session Dubai International Financial Centre Greek mythology Computing Concurrency control
409	Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South Add to Reading List Source URL: www.cloudtran.com Language: English - Date: 2011-05-26 19:32:12 Data management Databases Concurrency control Global serializability Serializability Replication Service-oriented architecture Communications protocol Scalability Data Information Transaction processing
410	Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory E Christopher Lewis ∗ Milo M. K. Martin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-04-14 13:06:54 Computer hardware Computer architecture Computer memory Central processing unit Cache coherency Software transactional memory Transactional memory CPU cache Cache Computing Transaction processing Concurrency control

UPDATE